отрицание импликации

отрицание импликации

 

отрицание импликации

[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • non-implication


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем написать реферат

Смотреть что такое "отрицание импликации" в других словарях:

  • ОТРИЦАНИЕ —         филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает …   Философская энциклопедия

  • отрицание —         ОТРИЦАНИЕ (в логике) специальная логическая операция. В зависимости от местоположения различают внешнее и внутреннее О., свойства и роли которых существенно различаются.         1. Внешнее О. (пропозициональное) служит для образования… …   Энциклопедия эпистемологии и философии науки

  • Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …   Википедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • Импликация — Импликация (лат. implicatio  связь)  бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… …   Википедия

  • релевантная логика —         РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и …   Энциклопедия эпистемологии и философии науки

  • МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

  • Логические элементы — Логические элементы  устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого  «1» и низкого  «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… …   Википедия

  • ЛОГИЧЕСКИЕ СВЯЗКИ —     ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… …   Философская энциклопедия

  • Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»